From 024e3de5135ea34a52993dbfa0f5c831c6109bd8 Mon Sep 17 00:00:00 2001 From: Manuel Canales Esparcia Date: Mon, 8 May 2006 18:32:37 +0000 Subject: [PATCH] Added dejagnu to makeflags blacklist. --- optimize/optimize_functions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/optimize/optimize_functions b/optimize/optimize_functions index c6ca3f9..2c956e4 100644 --- a/optimize/optimize_functions +++ b/optimize/optimize_functions @@ -63,7 +63,7 @@ wrt_makeflags() { # Apply MAKEFLAGS to build local pkg=$1 case $pkg in - gettext | groff ) # Don't support -jX for now + dejagnu | gettext | groff ) # Don't support well -jX for now ;; *) if [[ "$MAKEFLAGS" != "unset" ]]; then