diff options
Diffstat (limited to 'merge/make-ccc')
| -rwxr-xr-x | merge/make-ccc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/merge/make-ccc b/merge/make-ccc deleted file mode 100755 index 3f37c33638f..00000000000 --- a/merge/make-ccc +++ /dev/null @@ -1,3 +0,0 @@ -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 |