replace time with $(TIME)
authorSimon Marlow <marlowsd@gmail.com>
Tue, 5 Apr 2011 09:10:08 +0000 (10:10 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 5 Apr 2011 09:21:34 +0000 (10:21 +0100)
mk/suffix.mk

index e170867..d869bff 100644 (file)
@@ -12,7 +12,7 @@
 define COMPILE
        @echo ==nofib$(_way)==  $(NOFIB_PROG): time to compile $* follows...
        @echo $(HC) $(HC_OPTS) -c $< -o $@
-       @time $(HC) $(HC_OPTS) -c $< -o $@
+       @$(TIME) $(HC) $(HC_OPTS) -c $< -o $@
        @if (test -f $@); then \
                echo ==nofib$(_way)== $(NOFIB_PROG): size of $@ follows... ; \
                $(SIZE) $@ ; \