File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed
Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -165,12 +165,12 @@ STRUCTUREDENCRYPTION_INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"software.a
165165STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING ="module StructuredEncryption"
166166
167167# Target to restore all directories in a list
168- # TODO: Remove this once we don't copy all of the directories into implementation and test https://sim.amazon.com/issues/CrypTool-5447
169- RESTORE_DIRS := README.md
170- _polymorph_go : restore_directories
171- restore_directories :
172- @for dir in $(RESTORE_DIRS ) ; do \
173- if [ -d " runtimes/go/ImplementationFromDafny-go/$$ dir" ]; then \
168+ # TODO: Remove this once we don't copy all of the directories and files into implementation and test https://sim.amazon.com/issues/CrypTool-5447
169+ RESTORE_FILES_DIR := README.md
170+ _polymorph_go : restore_file_directories
171+ restore_file_directories :
172+ @for dir in $(RESTORE_FILES_DIR ) ; do \
173+ if [ -e " runtimes/go/ImplementationFromDafny-go/$$ dir" ]; then \
174174 cp -Rf runtimes/go/ImplementationFromDafny-go/$$ dir runtimes/go/; \
175175 rm -rf runtimes/go/ImplementationFromDafny-go/$$ dir; \
176176 rm -rf runtimes/go/TestsFromDafny-go/$$ dir; \
You can’t perform that action at this time.
0 commit comments