From 100c3a807e370c87a3d5847389e9374b1fc3af58 Mon Sep 17 00:00:00 2001 From: "R. Tyler Croy" Date: Sun, 13 Mar 2011 14:43:29 -0700 Subject: [PATCH] Add a simple build script to make sure all .adb files are built --- build.sh | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 build.sh diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..f5b3676 --- /dev/null +++ b/build.sh @@ -0,0 +1,5 @@ +#!/bin/sh -xe + +for f in *.adb; do + gnatmake $f; +done;