Skip to content
Snippets Groups Projects
Verified Commit 50ab368a authored by Tóth Miklós Tibor's avatar Tóth Miklós Tibor :shrug:
Browse files

more workarounds

parent 0dce70f1
Branches
Tags
No related merge requests found
Pipeline #7957 failed
...@@ -13,9 +13,11 @@ if [ -d lines ]; then ...@@ -13,9 +13,11 @@ if [ -d lines ]; then
cp -r docs/lines /tmp/ cp -r docs/lines /tmp/
fi fi
cp includes/misc-functions.tex /tmp/merge/misc-functions.tex
hash="$(git rev-parse HEAD)" hash="$(git rev-parse HEAD)"
for week in 7 11 2 3 4 5 6 9 10 13 14; do for week in 7 11 3 2 4 5 6 9 10 13 14; do
echo "week $week incoming..." echo "week $week incoming..."
git reset --hard git reset --hard
git clean -fd git clean -fd
...@@ -25,6 +27,10 @@ for week in 7 11 2 3 4 5 6 9 10 13 14; do ...@@ -25,6 +27,10 @@ for week in 7 11 2 3 4 5 6 9 10 13 14; do
bash -c "cd ..; /tmp/merge/build.sh" bash -c "cd ..; /tmp/merge/build.sh"
fi fi
if [ "$week" = "3" ]; then
cp /tmp/merge/misc-functions.tex includes/misc-functions.tex
fi
if [ "$week" = "14" ]; then if [ "$week" = "14" ]; then
cp -r /tmp/lines docs/ cp -r /tmp/lines docs/
fi fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment