diff options
Diffstat (limited to 'merge/make-ccc')
| -rwxr-xr-x | merge/make-ccc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/merge/make-ccc b/merge/make-ccc new file mode 100755 index 00000000000..3f37c33638f --- /dev/null +++ b/merge/make-ccc @@ -0,0 +1,3 @@ +ccc -I./../include -I../include -DDBUG_OFF -fast -O3 -c _locking.c close.c create.c delete.c extra.c info.c open.c panic.c rrnd.c rsame.c static.c update.c +rm libmerge.a +ar -cr libmerge.a _locking.o |