From c68235862407defb38172a375a9e4e7b8b6ad960 Mon Sep 17 00:00:00 2001 From: Zach Brown Date: Sun, 16 Jun 2019 14:34:36 -0500 Subject: [PATCH] Move presource patches out of work/ I forgot we had a clean command in the paper util --- scripts/init.sh | 2 +- {work => scripts}/pre-source-patches/README.md | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename {work => scripts}/pre-source-patches/README.md (100%) diff --git a/scripts/init.sh b/scripts/init.sh index f5bb8a0b7e..6aaaef5b46 100755 --- a/scripts/init.sh +++ b/scripts/init.sh @@ -19,7 +19,7 @@ fi # apply patches directly to the file tree # used to fix issues from upstream source repos cd $basedir -prepatchesdir="$workdir/pre-source-patches" +prepatchesdir="$basedir/scripts/pre-source-patches" for file in $(ls $prepatchesdir) do if [ $file == "README.md" ]; then diff --git a/work/pre-source-patches/README.md b/scripts/pre-source-patches/README.md similarity index 100% rename from work/pre-source-patches/README.md rename to scripts/pre-source-patches/README.md