use $(shell ....) in generated Makefile

76dab5cd · Maxime Perrotin · 8eaf970c · 76dab5cd
Commit 76dab5cd authored Jun 13, 2018 by Maxime Perrotin
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

taste-properties/properties/properties.py taste-properties/properties/properties.py +1 -1

No files found.
--- a/taste-properties/properties/properties.py
+++ b/taste-properties/properties/properties.py
@@ -45,7 +45,7 @@ clean:
 	@rm -rf *.o *.ad? *.ali bin examiner *.idx *_simu.sh *_interface.aadl *.wrn *.gpr gnat.cfg runSpark.sh lib{name}.so

 build:
-	mono $(which asn1.exe) -Ada -typePrefix asn1Scc -equal {asn1}
+	mono $(shell which asn1.exe) -Ada -typePrefix asn1Scc -equal {asn1}
 	gnatmake -gnat2012 -c -fPIC {name}.adb
 	gnatbind -n -Llib{name} {name}
 	gnatmake -c -gnat2012 -fPIC b~{name}.adb