From a614fbd94f854c1b87051b98afa009621ad29dba Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Thu, 6 Jul 2023 12:52:47 +0200 Subject: [PATCH] [e-acsl] remove unnecessary symbolic links These symbolic links cause issues on Cygwin, and they are no longer needed anway since Dune already copies the files to the right place. --- src/plugins/e-acsl/tests/builtin/dune | 4 ++-- src/plugins/e-acsl/tests/builtin/utils | 1 - src/plugins/e-acsl/tests/format/dune | 4 ++-- src/plugins/e-acsl/tests/format/utils | 1 - 4 files changed, 4 insertions(+), 6 deletions(-) delete mode 120000 src/plugins/e-acsl/tests/builtin/utils delete mode 120000 src/plugins/e-acsl/tests/format/utils diff --git a/src/plugins/e-acsl/tests/builtin/dune b/src/plugins/e-acsl/tests/builtin/dune index 9dbf4e24533..60c73d79b87 100644 --- a/src/plugins/e-acsl/tests/builtin/dune +++ b/src/plugins/e-acsl/tests/builtin/dune @@ -1,7 +1,7 @@ (subdir result/utils - (copy_files ../../utils/*)) + (copy_files ../../../utils/*)) (subdir result_dev/utils - (copy_files ../../utils/*)) + (copy_files ../../../utils/*)) diff --git a/src/plugins/e-acsl/tests/builtin/utils b/src/plugins/e-acsl/tests/builtin/utils deleted file mode 120000 index 19985ba50b5..00000000000 --- a/src/plugins/e-acsl/tests/builtin/utils +++ /dev/null @@ -1 +0,0 @@ -../utils/ \ No newline at end of file diff --git a/src/plugins/e-acsl/tests/format/dune b/src/plugins/e-acsl/tests/format/dune index 9dbf4e24533..60c73d79b87 100644 --- a/src/plugins/e-acsl/tests/format/dune +++ b/src/plugins/e-acsl/tests/format/dune @@ -1,7 +1,7 @@ (subdir result/utils - (copy_files ../../utils/*)) + (copy_files ../../../utils/*)) (subdir result_dev/utils - (copy_files ../../utils/*)) + (copy_files ../../../utils/*)) diff --git a/src/plugins/e-acsl/tests/format/utils b/src/plugins/e-acsl/tests/format/utils deleted file mode 120000 index 19985ba50b5..00000000000 --- a/src/plugins/e-acsl/tests/format/utils +++ /dev/null @@ -1 +0,0 @@ -../utils/ \ No newline at end of file -- GitLab