diff options
| -rw-r--r-- | groff.morph | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/groff.morph b/groff.morph index f6364b18..33618fc2 100644 --- a/groff.morph +++ b/groff.morph @@ -5,7 +5,7 @@ "PAGE=A4 ./configure --prefix=/usr" ], "build-commands": [ - "make" + "make || make || make" ], "install-commands": [ "make DESTDIR=\"$DESTDIR\" install", |