cleanup_test.sh 1.0 KB

12345678910111213141516171819202122232425262728293031
  1. #! /bin/sh
  2. ## Copyright (C) 2021 deesix <deesix@tuta.io>
  3. ## This file is part of M2-Planet.
  4. ##
  5. ## M2-Planet is free software: you can redistribute it and/or modify
  6. ## it under the terms of the GNU General Public License as published by
  7. ## the Free Software Foundation, either version 3 of the License, or
  8. ## (at your option) any later version.
  9. ##
  10. ## M2-Planet is distributed in the hope that it will be useful,
  11. ## but WITHOUT ANY WARRANTY; without even the implied warranty of
  12. ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  13. ## GNU General Public License for more details.
  14. ##
  15. ## You should have received a copy of the GNU General Public License
  16. ## along with M2-Planet. If not, see <http://www.gnu.org/licenses/>.
  17. for ARCH in aarch64 amd64 armv7l knight-native knight-posix x86 riscv32 riscv64; do
  18. rm -rf "test/test$1/tmp-$ARCH"
  19. done
  20. # Not all, but most tests generate a 'proof' file.
  21. rm -f "test/test$1/proof"
  22. # Test 0106 generates these two files when the host is x86.
  23. if [ "0106" = "$1" ] ; then
  24. rm -f "test/test$1/cc1" "test/test$1/cc2"
  25. fi
  26. exit 0