diff options
| author | Rene Engelhard <rene@debian.org> | 2018-04-25 14:55:43 +0200 |
|---|---|---|
| committer | Rene Engelhard <rene@debian.org> | 2018-04-25 14:58:00 +0200 |
| commit | e0201bbb7f4e05bf3a4273eca6129e88a4d246f8 (patch) | |
| tree | 1a862036874f0b62c1e9ac4b38a440c1016f2dde /bin | |
| parent | c9d1d4092a93405028b0a22a459635607646363a (diff) | |
add "s to grep in distro-install-clean-up
as we have files with spaces now. E.g.
grep: /data/rene/git/LibreOffice/master/debian/tmp/usr/lib/libreoffice/help/media/icon-themes/svx/res/symphony/enlarge: No such file or directory
grep: font.png: No such file or directory
happens otherwise.
Change-Id: I13f8cab2aac751f7a0c2f673b5e958ed08657d52
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/distro-install-clean-up | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/distro-install-clean-up b/bin/distro-install-clean-up index 701c9ffa0972..974043dd005e 100755 --- a/bin/distro-install-clean-up +++ b/bin/distro-install-clean-up @@ -76,7 +76,7 @@ if test "z$DESTDIR" != "z" ; then echo "Checking for DESTDIR inside installed files..." found_destdir= for file in `find $DESTDIR -type f` ; do - grep -q "$DESTDIR" $file && echo "$file: includes the string \"$DESTDIR\"" && found_destdir=1 + grep -q "$DESTDIR" "$file" && echo "$file: includes the string \"$DESTDIR\"" && found_destdir=1 done if test "z$found_destdir" != "z" ; then echo "!!!!!!!!!!!!!!!!!!!!!! WARNING !!!!!!!!!!!!!!!!!!!!!!" |