diff options
Diffstat (limited to 'sim/common/Makefile.in')
| -rw-r--r-- | sim/common/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sim/common/Makefile.in b/sim/common/Makefile.in index c62bd260697..6d094aab363 100644 --- a/sim/common/Makefile.in +++ b/sim/common/Makefile.in @@ -115,6 +115,7 @@ force: # Copy the files into directories where they will be run. install: install-man +install-strip: install-man install-man: installdirs n=`echo run | sed '$(program_transform_name)'`; \ |