diff options
Diffstat (limited to 'test/mkmondo.sh')
-rwxr-xr-x | test/mkmondo.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/test/mkmondo.sh b/test/mkmondo.sh deleted file mode 100755 index bf0e965c..00000000 --- a/test/mkmondo.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -if [ ! -f tools/mondo.dat ]; then - for i in $(seq 1 250) ; do - cat tools/standard.dat >> tools/mondo.dat - done -fi |