diff options
Diffstat (limited to 'openmp/runtime/tools/check-openmp.pl')
-rwxr-xr-x | openmp/runtime/tools/check-openmp.pl | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/openmp/runtime/tools/check-openmp.pl b/openmp/runtime/tools/check-openmp.pl deleted file mode 100755 index 60334d7f026..00000000000 --- a/openmp/runtime/tools/check-openmp.pl +++ /dev/null @@ -1,18 +0,0 @@ -#!/usr/bin/perl - -use strict; -use warnings; - -use FindBin; -use lib "$FindBin::Bin/lib"; - -# LIBOMP modules. -use Build; -use LibOMP; -use Platform ":vars"; -use Uname; -use tools; - -my $root_dir = $ENV{ LIBOMP_WORK }; -print join('', $root_dir, "/", "exports", "/", $target_platform, "/", "lib"); - |