Fix "make post-regtest-checks" after 441bfc5f51c7f5f80cc6491d23cbe2dc711d191f (dhat...

diff --git a/tests/check_headers_and_includes b/tests/check_headers_and_includes
index 1c3e3f5d845543843fee68e25c96c417a03b1180..49a51e1e03fb5438e874705b395e1662aebdb27f 100755 (executable)
--- a/tests/check_headers_and_includes
+++ b/tests/check_headers_and_includes
@@ -52,7 +52,7 @@ my %tool_dirs = (
     "lackey" => 1,
     "none" => 1,
     "exp-bbv" => 1,
-    "exp-sgcheck" => 1
+    "exp-sgcheck" => 1,
     "shared" => 1,
     );