Apply patch from cil-project#30.

goblint · Oct 13, 2021 · a9c01bf · a9c01bf
1 parent e374cf6
commit a9c01bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Cilly.pm.in b/lib/Cilly.pm.in
@@ -2231,7 +2231,7 @@ sub setVersion {
          . join(' ', @{$self->{PPARGS}}) ." |") 
         || die "Cannot start GNUCC";
     while(<VER>) {
-        if($_ =~ m|^(\d+\S+)| || $_ =~ m|^(egcs-\d+\S+)|) {
+        if($_ =~ m|^(\d+\S+)| || $_ =~ m|^(\d+)$| || $_ =~ m|^(egcs-\d+\S+)|) {
             $cversion = "gcc_$1";
             close(VER) || die "Cannot start GNUCC\n";
             $self->{VERSION} = $cversion;