Rename directory to workaround gitignore in linux repo

thefallentree · Sep 7, 2021 · 4fd3287 · 4fd3287
1 parent e70414d
commit 4fd3287
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/...vmtest/patches/.do_not_use_dot_patch_here → ...i/vmtest/diffs/.do_not_use_dot_patch_here b/...vmtest/patches/.do_not_use_dot_patch_here → ...i/vmtest/diffs/.do_not_use_dot_patch_here
diff --git a/travis-ci/vmtest/patches/0001-find_vma.diff → travis-ci/vmtest/diffs/0001-find_vma.diff b/travis-ci/vmtest/patches/0001-find_vma.diff → travis-ci/vmtest/diffs/0001-find_vma.diff
diff --git a/travis-ci/vmtest/prepare_selftests.sh b/travis-ci/vmtest/prepare_selftests.sh
@@ -5,8 +5,8 @@ set -eu
 source $(cd $(dirname $0) && pwd)/helpers.sh
 
 travis_fold start apply_local_patch "Apply local patches"
-if ls ${VMTEST_ROOT}/patches/*.diff 1>/dev/null 2>&1; then
-  for file in ${VMTEST_ROOT}/patches/*.diff; do
+if ls ${VMTEST_ROOT}/diffs/*.diff 1>/dev/null 2>&1; then
+  for file in ${VMTEST_ROOT}/diffs/*.diff; do
     patch -p1 < ${file}
   done
 fi