diff --git a/src/Makefile.src b/src/Makefile.src
index 931e4e12b794fe5bae0f09cfafed100a7cb49e3b..1b1a93409212b38464f11ab89409fea17383bfd1 100644
--- a/src/Makefile.src
+++ b/src/Makefile.src
@@ -155,9 +155,10 @@ verbose_verify: $(SRCDIR)/test/testsuite
 
 # verify & debug VERBOSE
 gdb_verify: $(SRCDIR)/test/testsuite
-	echo >.gdbinit handle SIGUSR1 nostop noprint pass
-	echo >>.gdbinit run -m $(TMP_LIBDIR)/master.lpc $(SRCDIR)/test/test_lpc.lpc $(SRCDIR)/test/testsuite -v -v -f
+	@echo >.gdbinit handle SIGUSR1 nostop noprint pass
+	@echo >>.gdbinit run -m $(TMP_LIBDIR)/master.lpc $(LPCOPTS) $(SRCDIR)/test/test_lpc.lpc $(SRCDIR)/test/testsuite -v -v -f
 	gdb ./ulpc
+	@rm .gdbinit
 
 # run hilfe, for interactive testing
 run_hilfe: