diff --git a/src/Makefile b/src/Makefile index dafec3645a968800fd10f98db67e90c104e2adde..8c31b212d7ff122e7029d418129959e209c0bee1 100644 --- a/src/Makefile +++ b/src/Makefile @@ -285,7 +285,7 @@ ifndef SILENT # makefile will 'restart' when it finishes including the # dependencies. ifndef MAKE_RESTARTS -ifndef destrutive +ifndef destructive $(shell $(CC) -v) define flags =