diff options
Diffstat (limited to 'devel/codeblocks/files/patch-update.sh')
| -rw-r--r-- | devel/codeblocks/files/patch-update.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devel/codeblocks/files/patch-update.sh b/devel/codeblocks/files/patch-update.sh new file mode 100644 index 000000000000..333ee56eefd2 --- /dev/null +++ b/devel/codeblocks/files/patch-update.sh @@ -0,0 +1,13 @@ +--- update.sh.orig Sun Nov 27 15:13:34 2005 ++++ update.sh Sun Nov 27 15:14:03 2005 +@@ -57,10 +57,6 @@ + cp -f devel/*.exe output > /dev/null + cp -f devel/*.so output > /dev/null + cp -f ${RESDIR}/plugins/*.so output/share/CodeBlocks/plugins > /dev/null +-echo Stripping debug info from output tree +-strip output/*.exe +-strip output/*.so +-strip output/share/CodeBlocks/plugins/*.so + + echo Creating launch-scripts + echo -e "#!/bin/sh\n" > output/run.sh |