From efe1985dd1dedb7244d713b7a30bcf049a0b0ba6 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 29 Jan 2008 21:38:20 +0000
Subject: [PATCH] Fixed a problem with the compile-cgtests not being executable

---
 Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.am b/Makefile.am
index 11bc57c..8d986fb 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -174,10 +174,10 @@ cgtests/cgtest00.occ:
 # In future we should give the version compiled using the C++ backend a different extension:
 
 make-cgtests-c: tock cgtests/cgtest00.occ clean-cgtests
-	./compile-cgtests --backend=c
+	sh ./compile-cgtests --backend=c
 
 make-cgtests-cpp: tock cgtests/cgtest00.occ clean-cgtests
-	./compile-cgtests --backend=cppcsp
+	sh ./compile-cgtests --backend=cppcsp
 
 clean-cgtests:
 	rm -f cgtests/cgtest??