diff options
Diffstat (limited to 'c/src/make/host.cfg.in')
| -rw-r--r-- | c/src/make/host.cfg.in | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/c/src/make/host.cfg.in b/c/src/make/host.cfg.in index aa215b8eae..6fbe0276c4 100644 --- a/c/src/make/host.cfg.in +++ b/c/src/make/host.cfg.in @@ -19,7 +19,6 @@ SHELL=@SHELL@ ECHO=echo CAT=cat -## RM=@RM@ -f CP=@CP@ MV=@MV@ LN=@LN@ @@ -49,24 +48,6 @@ GCCSED = @GCCSED@ # reliable but late model ksh's are usually OK. KSH=@KSH@ -# -# Rule to install a shell script with the proper shell to run it. -# - -# when debugging, one may want to save the previous incarnation of the -# installed script. Replace the first line of this rule to do this. -# -# -$(RM) $@.old -# -$(MV) $@ $@.old >/dev/null 2>&1 - -# OBSOLETE: Don't use this anymore, this may be removed in future -define make-script - -$(RM) $@ - $(SED) -e '1,1s?^#!KSHELL?#!$(KSH)?' \ - -e '1,1s?^#!SHELL?#!$(SHELL)?' < $< > $@ - $(CHMOD) 0555 $@ -endef - INSTBINFLAGS = -m 0755 INSTDATAFLAGS = -m 0644 INSTLIBFLAGS = -m 0644 |