diff options
author | Zach Brown <[email protected]> | 2019-08-10 10:04:10 -0500 |
---|---|---|
committer | Zach Brown <[email protected]> | 2019-08-10 10:04:10 -0500 |
commit | 4ac40031f2827a812b3b32fa79918ab8b4cdb65c (patch) | |
tree | 79c62528359d668ff30a1ddc34342b02c0317d5a /scripts | |
parent | 9530f1bd01067c9ad44209709ea3b89fffe67bdf (diff) | |
download | Paper-4ac40031f2827a812b3b32fa79918ab8b4cdb65c.tar.gz Paper-4ac40031f2827a812b3b32fa79918ab8b4cdb65c.zip |
[CI-SKIP] The wheel in the sky keeps on turning
Add extra another fix for directory names with spaces I missed in last
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/init.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/init.sh b/scripts/init.sh index fd96a3d1dd..25aa24bcf7 100755 --- a/scripts/init.sh +++ b/scripts/init.sh @@ -20,7 +20,7 @@ fi # used to fix issues from upstream source repos cd "$basedir" prepatchesdir="$basedir/scripts/pre-source-patches" -for file in $(ls $prepatchesdir) +for file in $(ls "$prepatchesdir") do if [ $file == "README.md" ]; then continue |