diff options
author | Thomas Bushnell <thomas@gnu.org> | 1996-09-05 16:59:37 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1996-09-05 16:59:37 +0000 |
commit | 5145728f45d1a83ebe229ee38c4f2534a43c385f (patch) | |
tree | 48dfa16e2e256f1627e60d1f1d19dfcc9e6e46d2 /utils/Makefile | |
parent | 41476b24b860bc333ed99c3eb2b575193b111aa7 (diff) |
*** empty log message ***
Diffstat (limited to 'utils/Makefile')
-rw-r--r-- | utils/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/Makefile b/utils/Makefile index 4b73d8de..5079d0c6 100644 --- a/utils/Makefile +++ b/utils/Makefile @@ -47,6 +47,6 @@ ps w hurdids settrans sync showtrans fsysopts storeinfo login vmstat portinfo \ devprobe vminfo: ../libshouldbeinlibc/libshouldbeinlibc.a %: %.sh - cp $< $@ + sed -f $(top_srcdir)/sh-version.sed < $< > $@ $(filter-out $(special-targets), $(targets)): %: %.o |