pintos-os.org Git - pspp/commit

Avoid link error due to program_name.

Unnamed repository; edit this file to name it for gitweb.

ChangeLog		diff \| blob \| history
modules/rbtree-list-tests		diff \| blob \| history
modules/rbtree-oset-tests		diff \| blob \| history
modules/rbtreehash-list-tests		diff \| blob \| history
tests/test-rbtree_list.c		diff \| blob \| history
tests/test-rbtree_oset.c		diff \| blob \| history
tests/test-rbtreehash_list.c		diff \| blob \| history