0ad/libraries/source/spidermonkey
Ralph Sennhauser 2fb6347125
Delete .already-built file prior to new build
In case the build fails this will allow other Jenkins jobs to restore
the old working state themselves.

Signed-off-by: Ralph Sennhauser <ralph.sennhauser@gmail.com>
2026-08-03 20:54:04 +02:00
..
patches Spidermonkey build: cherry-pick an upstream commit to create thin archives 2026-01-25 10:58:33 +01:00
build.sh Delete .already-built file prior to new build 2026-08-03 20:54:04 +02:00
mozconfig Upgrade SpiderMonkey to ESR 102 2024-12-09 10:43:31 +01:00