Idris/personal-tooling
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Don't rebuild if we don't need to

Browse source
This commit is contained in:
Nathan McCarty 2024-12-20 08:43:08 +00:00
parent b1ee31c58f
commit 7e3aa68942
1 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/upload.raku
View file

@ -56,10 +56,13 @@ sub MAIN() {
paths("src", :file(-> $a {$a.ends-with(".idr") || $a.ends-with(".md")})) paths("src", :file(-> $a {$a.ends-with(".idr") || $a.ends-with(".md")}))
.map: *.IO.relative("src/".IO); .map: *.IO.relative("src/".IO);
# Clean if there is more than one ttc folder, easiest way to locate the
# Do a pack clean build so we can find the ttms # correct one
exit -1 unless run <pack clean>; if "build/ttc".IO.dir.elems > 1 {
exit -1 unless run <pack build>; # Do a pack clean build so we can find the ttms
exit -1 unless run <pack clean>;
exit -1 unless run <pack build>;
}
# find our ttc folder # find our ttc folder
$build-path = "build/ttc/".IO.dir[0]; $build-path = "build/ttc/".IO.dir[0];