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