diff --git a/src/makefile.c b/src/makefile.c
index 818200d..f03c643 100644
--- a/src/makefile.c
+++ b/src/makefile.c
@@ -666,6 +666,8 @@ static void _targets_vflags(Configure * configure, FILE * fp)
 {
 	String const * p;
 
+	if((p = config_get(configure->config, NULL, "verilog")) != NULL)
+		_makefile_output_variable(fp, "VERILOG", p);
 	if((p = config_get(configure->config, NULL, "vflags_force")) != NULL)
 	{
 		_makefile_print(fp, "%s", "VFLAGSF=");