diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2011-05-10 16:40:27 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2011-05-10 16:40:27 +0000 |
commit | de06c833349b01833403a4cd0c0072c51cc13771 (patch) | |
tree | 27d9a48f14498187b06ccc0e1542fb25c16491ff /Src/mkmakemod.sh | |
parent | c59e19cd774a9c5fb658a4b538ab505d608820a5 (diff) | |
download | zsh-de06c833349b01833403a4cd0c0072c51cc13771.tar.gz zsh-de06c833349b01833403a4cd0c0072c51cc13771.tar.xz zsh-de06c833349b01833403a4cd0c0072c51cc13771.zip |
29214: use -I rather than explicit path to find headers
Diffstat (limited to 'Src/mkmakemod.sh')
-rw-r--r-- | Src/mkmakemod.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Src/mkmakemod.sh b/Src/mkmakemod.sh index 2e0963f8e..2633c27d4 100644 --- a/Src/mkmakemod.sh +++ b/Src/mkmakemod.sh @@ -383,11 +383,7 @@ if $first_stage; then if test -n "$headers"; then echo " echo '/* Extra headers for this module */'; \\" echo " for hdr in $headers; do \\" - echo " if test -f \$\$hdr; then \\" - echo " echo '# include \"'\$\$hdr'\"'; \\" - echo " else \\" - echo " echo '# include \"\$(sdir)/'\$\$hdr'\"'; \\" - echo " fi; \\" + echo " echo '# include \"'\$\$hdr'\"'; \\" echo " done; \\" echo " echo; \\" fi |