mirror of
https://github.com/gnustep/tools-make.git
synced 2025-04-23 22:33:28 +00:00
Added option to strip makefiles after installation
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@17845 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
7500bb6829
commit
fd812d8946
1 changed files with 9 additions and 0 deletions
|
@ -1,3 +1,12 @@
|
|||
Mon Oct 13 15:53:43 2003 Nicola Pero <n.pero@mi.flashnet.it>
|
||||
|
||||
* configure.ac: Added configure option --enable-strip-makefiles;
|
||||
substitute @GNUSTEP_STRIP_MAKEFILES@ in output.
|
||||
* configure: Regenerated.
|
||||
* GNUmakefile.in (install): Install strip_makefiles.sh;
|
||||
execute it if --enable-strip-makefiles.
|
||||
* strip_makefiles.sh: New file.
|
||||
|
||||
Mon Oct 13 15:07:53 2003 Nicola Pero <n.pero@mi.flashnet.it>
|
||||
|
||||
* Instance/Shared/java.make (.PHONY): Removed line continuation in
|
||||
|
|
Loading…
Reference in a new issue