Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

inline source when srcdir contains white-spaces #8

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Commits on Oct 21, 2016

  1. inline-source: inline also if $srcdir contains spaces

    Add new syntax for source inline:
    
      # set '$inline_source_dir' to `dirname "$0"/`
      inline_source_dir=`echo "$0" |${SED-sed} 's|[^/]*$||'`
      . "$inline_source_dir"/sourced-file
    
    This version avoids "`"sth"`" like commands (nested quotes), while
    we are now able to use inline-source script within directory
    which pathname contains spaces.  As a side effect, we save some
    fork() calls because the directory is constructed only once.
    
    Related to github issue gnulib-modules#6.
    
    * build-aux/inline-source: Move ourself to the new syntax,
    document new syntax.
    (func_include): Parse the new syntax, quote $progpath properly.
    * build-aux/bootstrap.in: Use new syntax.
    * bootstrap: Sync with new sources.
    praiskup committed Oct 21, 2016
    Configuration menu
    Copy the full SHA
    83e6857 View commit details
    Browse the repository at this point in the history