Merge pull request #2457 from mbeddr/cleanup

Remove some unused build scripts and tools
mbeddr · Jul 27, 2024 · 0229902 · 0229902
2 parents 8ff27e2 + b780aec
commit 0229902
Show file tree

Hide file tree

Showing 18 changed files with 0 additions and 2,958 deletions.
diff --git a/build/com.mbeddr.analyses.cbmc/build-cbmc-linux.sh b/build/com.mbeddr.analyses.cbmc/build-cbmc-linux.sh
diff --git a/build/com.mbeddr.analyses.cbmc/build-cbmc-mac.sh b/build/com.mbeddr.analyses.cbmc/build-cbmc-mac.sh
diff --git a/build/com.mbeddr.analyses.cbmc/build-cbmc-win.bat b/build/com.mbeddr.analyses.cbmc/build-cbmc-win.bat
diff --git a/build/com.mbeddr.release/github-release.sh b/build/com.mbeddr.release/github-release.sh
diff --git a/build/com.mbeddr/everythingElse/build.gradle b/build/com.mbeddr/everythingElse/build.gradle
diff --git a/code/languages/com.mbeddr.build/allInOne.xml b/code/languages/com.mbeddr.build/allInOne.xml