Commit 795485bf9d3166ce2a9b506b04b2265958829b7e

Steffen Jaeckel 2019-12-04T11:59:20

Merge pull request #467 from czurnieden/change_helper_pl Changed generate_def to use the uncommited file list

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
diff --git a/helper.pl b/helper.pl
index fb5413c..b3a30a0 100755
--- a/helper.pl
+++ b/helper.pl
@@ -422,9 +422,8 @@ EOS
 }
 
 sub generate_def {
-    my @files = split /\n/, `git ls-files`;
-    @files = grep(/\.c/, @files);
-    @files = map { my $x = $_; $x =~ s/^bn_|\.c$//g; $x; } @files;
+    my @files = glob '*mp_*.c';
+    @files = map { my $x = $_; $x =~ s/\.c$//g; $x; } @files;
     @files = grep(!/mp_cutoffs/, @files);
 
     my $files = join("\n    ", sort(grep(/^mp_/, @files)));