diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/exec/score/tools/generic/Makefile.in | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/c/src/exec/score/tools/generic/Makefile.in b/c/src/exec/score/tools/generic/Makefile.in index 419b20b96c..e5fdec7d7f 100644 --- a/c/src/exec/score/tools/generic/Makefile.in +++ b/c/src/exec/score/tools/generic/Makefile.in @@ -22,13 +22,12 @@ PGMS=size_rtems INSTALLED=$(PGMS:%=$(DESTDIR)/%) all: $(DESTDIR) $(PGMS) install - echo $(DESTDIR) $(DESTDIR): - [ -d $@ ] || $(MKDIR) $@ + $(BSDINSTALL) $(INSTDIRFLAGS) $@ install: $(INSTALLED) # Install the program $(DESTDIR)/%: % - $(make-script) + $(BSDINSTALL) $(INSTBINFLAGS) $^ $@ |