From 534b2c87475356d360fa8856e75cdd383922218d Mon Sep 17 00:00:00 2001
From: Zach Brown <1254957+zachbr@users.noreply.github.com>
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