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 | 29191 (Danek) and 29203 (with fixes): make TERMINFO variable special. (diff) | |
| download | zsh-de06c833349b01833403a4cd0c0072c51cc13771.tar zsh-de06c833349b01833403a4cd0c0072c51cc13771.tar.gz zsh-de06c833349b01833403a4cd0c0072c51cc13771.tar.bz2 zsh-de06c833349b01833403a4cd0c0072c51cc13771.tar.lz zsh-de06c833349b01833403a4cd0c0072c51cc13771.tar.xz zsh-de06c833349b01833403a4cd0c0072c51cc13771.tar.zst 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 |