| commit | 95ea07da1077e56ac3c8551262fd6f6b73c79a53 | [log] [tgz] |
|---|---|---|
| author | Akron <nils@diewald-online.de> | Fri May 08 10:15:38 2026 +0200 |
| committer | Akron <nils@diewald-online.de> | Fri May 08 10:15:38 2026 +0200 |
| tree | 6b10050e13322cada7a81930dbc85486f2604f28 | |
| parent | 807994ab3c2bcc3e42141c791c00ab50d95e6b2f [diff] |
Add Koral-Mapper Change-Id: I72bf83345ea10afac5b5d9a443aef56bf51f7704
diff --git a/bin/git_gerrit_pull b/bin/git_gerrit_pull index 02f1520..3782cec 100755 --- a/bin/git_gerrit_pull +++ b/bin/git_gerrit_pull
@@ -149,6 +149,11 @@ _check('make test'); } +# Koral-Mapper +elsif ($project =~ m!^Koral-Mapper$!i) { + _check('make test'); +} + # Unknown Project else { print "Unknown project $project!\n\n";