fix clean bug
authorThomas Walker Lynch <xtujpz@reasoningtechnology.com>
Mon, 12 Aug 2024 07:54:39 +0000 (07:54 +0000)
committerThomas Walker Lynch <xtujpz@reasoningtechnology.com>
Mon, 12 Aug 2024 07:54:39 +0000 (07:54 +0000)
developer/\necho $var_name = $file_list\n\nif [ -z "" ]; then\n exit 0\nfi\n\necho 'Cleaning files: '\nfor file in $file_list; do\n if [ -e "" ]; then\n echo rm -f ""\n rm -f ""\n fi\ndone\n [deleted file]

diff --git a/developer/\necho $var_name = $file_list\n\nif [ -z "" ]; then\n exit 0\nfi\n\necho 'Cleaning files: '\nfor file in $file_list; do\n if [ -e "" ]; then\n echo rm -f ""\n rm -f ""\n fi\ndone\n b/developer/\necho $var_name = $file_list\n\nif [ -z "" ]; then\n exit 0\nfi\n\necho 'Cleaning files: '\nfor file in $file_list; do\n if [ -e "" ]; then\n echo rm -f ""\n rm -f ""\n fi\ndone\n
deleted file mode 100644 (file)
index e69de29..0000000