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
165
165
STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING ="module StructuredEncryption"
166
166
167
167
# 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 \
174
174
cp -Rf runtimes/go/ImplementationFromDafny-go/$$ dir runtimes/go/; \
175
175
rm -rf runtimes/go/ImplementationFromDafny-go/$$ dir; \
176
176
rm -rf runtimes/go/TestsFromDafny-go/$$ dir; \
You can’t perform that action at this time.
0 commit comments