2 files changed, 19 insertions, 3 deletions
diff --git a/testsuite/gna/issue1206/main_notnull.c b/testsuite/gna/issue1206/main_notnull.c
new file mode 100644
index 000000000..9ff996f6f
--- /dev/null
+++ b/testsuite/gna/issue1206/main_notnull.c
@@ -0,0 +1,8 @@
+#include <stdio.h>
+
+extern int ghdl_main(int argc, char** argv);
+
+int main(int argc, char** argv) {
+  printf("ghdl_main: %d\n", ghdl_main(argc, argv));
+  return 0;
+}
diff --git a/testsuite/gna/issue1206/testsuite.sh b/testsuite/gna/issue1206/testsuite.sh
index bd0773227..09532b329 100755
--- a/testsuite/gna/issue1206/testsuite.sh
+++ b/testsuite/gna/issue1206/testsuite.sh
@@ -1,15 +1,23 @@
 #! /bin/sh
 
+cd $(dirname "$0")
+
 . ../../testenv.sh
 
 if $GHDL --help | grep -q -e --link; then
     if [ -z $CC ]; then
-	CC="gcc"
+        CC="gcc"
     fi
 
-    $CC -c main.c
     analyze hello.vhdl
-    elab -Wl,main.o hello
+    elab -Wl,main.c hello
+    run ./hello
+
+    clean
+    rm -f main.o
+
+    analyze hello.vhdl
+    elab -Wl,main_notnull.c hello
     run ./hello
 
     clean