]> https://gitweb.dealii.org/ - dealii.git/commitdiff
# first check whether the given configuration is known at all. if not,
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 16 Nov 2005 01:44:49 +0000 (01:44 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 16 Nov 2005 01:44:49 +0000 (01:44 +0000)
# we don't know anything about the hierarchy we have to search, but we should
# certainly search under the name of this configuration as well as the generic
# one as well

git-svn-id: https://svn.dealii.org/trunk@11769 0785d39b-7218-0410-832d-ea1e28bc413d

tests/hierarchy.pl

index 2c3c43ae3bb979c76706086eb1ba8b66aa75d139..d5c106f317734677592545300ad4c5d5bc386e8d 100644 (file)
@@ -50,9 +50,11 @@ $hierarchy{"x86_64-unknown-linux-gnu+gcc4.1"} = "x86_64-unknown-linux-gnu+gcc4.0
 $configuration = $ARGV[0];
 
 # first check whether the given configuration is known at all. if not,
-# we can only resort to the generic files
+# we don't know anything about the hierarchy we have to search, but we should
+# certainly search under the name of this configuration as well as the generic
+# one as well
 if (! defined $hierarchy{$configuration}) {
-    print "generic\n";
+    print "$configuration generic\n";
     exit;
 }
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.