diff options
Diffstat (limited to 'heap/make-ccc')
| -rwxr-xr-x | heap/make-ccc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/heap/make-ccc b/heap/make-ccc new file mode 100755 index 00000000000..192647298ad --- /dev/null +++ b/heap/make-ccc @@ -0,0 +1,4 @@ +ccc -I./../include -I../include -DDBUG_OFF -fast -O3 -c _check.c _rectest.c hp_block.c hp_clear.c hp_close.c hp_create.c hp_delete.c hp_extra.c hp_hash.c hp_info.c hp_open.c hp_panic.c hp_rename.c hp_rfirst.c hp_rkey.c hp_rlast.c hp_rnext.c hp_rprev.c hp_rrnd.c hp_rsame.c hp_scan.c hp_static.c hp_update.c hp_write.c +rm libheap.a +ar -cr libheap.a _check.o + |