diff options
Diffstat (limited to 'libraries/Makefile.inc')
| -rw-r--r-- | libraries/Makefile.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/Makefile.inc b/libraries/Makefile.inc index 9228351..5695068 100644 --- a/libraries/Makefile.inc +++ b/libraries/Makefile.inc @@ -208,8 +208,8 @@ std.v08: $(LIB08_DIR) $(STD08_SRCS) force mkdir $(STD08_DIR) prev=`pwd`; cd $(STD08_DIR); \ for i in $(STD08_SRCS); do \ - echo $$i; \ - $(ANALYZE08) --bootstrap --work=std $(REL_DIR)/$$i || exit 1; \ + cmd="$(ANALYZE08) --bootstrap --work=std $(REL_DIR)/$$i"; \ + echo $$cmd; eval $$cmd || exit 1; \ done; \ cd $$prev |