File indexing completed on 2025-02-02 14:22:24
0001 #!/bin/sh 0002 0003 # kill old results, keep no files, as we might remove tests 0004 rm -rf @CMAKE_CURRENT_SOURCE_DIR@/reference/ 0005 rm -rf @CMAKE_CURRENT_SOURCE_DIR@/html/ 0006 rm -rf @CMAKE_CURRENT_SOURCE_DIR@/folding/ 0007 0008 # copy the full directories 0009 cp -rf @CMAKE_CURRENT_BINARY_DIR@/output/ @CMAKE_CURRENT_SOURCE_DIR@/reference/ 0010 cp -rf @CMAKE_CURRENT_BINARY_DIR@/html.output/ @CMAKE_CURRENT_SOURCE_DIR@/html/ 0011 cp -rf @CMAKE_CURRENT_BINARY_DIR@/folding.out/ @CMAKE_CURRENT_SOURCE_DIR@/folding/