We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e72036f commit 302f1feCopy full SHA for 302f1fe
Makefile
@@ -336,7 +336,6 @@ clean_gui: clean_java
336
# INSTALL Targets
337
################################################################################
338
339
-PREFIX=/users/alin/temp3
340
ER7_HEADERS := $(addprefix $(PREFIX)/include/, $(filter er7_utils/%, $(shell cd trick_source && find er7_utils -name \*.hh)))
341
342
${ER7_HEADERS} : ${PREFIX}/include/% : trick_source/%
0 commit comments