diff options
Diffstat (limited to 'packages/linux_make/generate_install_makefile.bash')
| -rwxr-xr-x | packages/linux_make/generate_install_makefile.bash | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/packages/linux_make/generate_install_makefile.bash b/packages/linux_make/generate_install_makefile.bash index 3ef8a519..57e17648 100755 --- a/packages/linux_make/generate_install_makefile.bash +++ b/packages/linux_make/generate_install_makefile.bash @@ -12,8 +12,8 @@ SED=`echo sed "s|${ROOT_DIR}/||"` function print_file () { - local my_file=$1 - echo -e "\tinstall -p '$my_file' '\$(prefix)/$my_file'" + local my_file=`echo $1 | sed 's/\\\$/\$\$/g'` + echo -e "\tinstall -p '$my_file' '\$(prefix)/$my_file'" } function print_dir () @@ -38,9 +38,7 @@ function traverse_install_tree () function remove_file () { -# arg, $n-help.pd causes lots of problems -# local my_file=`echo $1 | sed 's|$|\\$|g'` - local my_file=$1 + local my_file=`echo $1 | sed 's/\\\$/\$\$/g'` echo -e "\trm -f -- '\$(prefix)/$my_file'" } |