diff --git a/src/config_rev.pl b/src/config_rev.pl index 62d80a3ab..a18652f5e 100755 --- a/src/config_rev.pl +++ b/src/config_rev.pl @@ -25,7 +25,8 @@ if ($data =~ /(verilator.*)/i) { } $data = `git status`; -if ($data !~ /nothing to commit/i) { +if ($data =~ /Changed but not updated/i + || $data =~ /Changes to be committed/i) { $rev .= " (mod)"; }