Add a simple build script to make sure all .adb files are built

rtyler · Mar 13, 2011 · 100c3a8 · 100c3a8
1 parent 8b65084
commit 100c3a8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/build.sh b/build.sh
@@ -0,0 +1,5 @@
+#!/bin/sh -xe
+
+for f in *.adb; do
+    gnatmake $f;
+done;