mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-15 22:03:26 +00:00
Fix errors caused by attempting to move nonexistent files
Estimated hours taken: 0.2 Branches: main scripts/Mmake.rules: Fix errors caused by attempting to move nonexistent files when installing libraries.
This commit is contained in:
@@ -489,6 +489,7 @@ lib%.install_grades:
|
|||||||
for file in x $$grade_files; do \
|
for file in x $$grade_files; do \
|
||||||
if [ "$$file" != "x" ]; then \
|
if [ "$$file" != "x" ]; then \
|
||||||
mv -f $$file tmp_dir > /dev/null 2>&1; \
|
mv -f $$file tmp_dir > /dev/null 2>&1; \
|
||||||
|
true; \
|
||||||
fi; \
|
fi; \
|
||||||
done && \
|
done && \
|
||||||
{ mv -f $(deps_subdir)$*.dep $(deps_subdir)$*.dv \
|
{ mv -f $(deps_subdir)$*.dep $(deps_subdir)$*.dv \
|
||||||
@@ -511,6 +512,7 @@ lib%.install_grades:
|
|||||||
for file in x $$grade_files; do \
|
for file in x $$grade_files; do \
|
||||||
if [ "$$file" != "x" ]; then \
|
if [ "$$file" != "x" ]; then \
|
||||||
mv -f tmp_dir/`basename $$file` $$file > /dev/null 2>&1; \
|
mv -f tmp_dir/`basename $$file` $$file > /dev/null 2>&1; \
|
||||||
|
true; \
|
||||||
fi; \
|
fi; \
|
||||||
done && \
|
done && \
|
||||||
{ mv -f tmp_dir/*.dep tmp_dir/*.dv $(deps_subdir).; \
|
{ mv -f tmp_dir/*.dep tmp_dir/*.dv $(deps_subdir).; \
|
||||||
|
|||||||
Reference in New Issue
Block a user