From ac7818b7eb781d74486e6279804996d591191867 Mon Sep 17 00:00:00 2001 From: Laurent Vivier Date: Thu, 13 Sep 2007 18:33:59 +0000 Subject: [PATCH] Add WHEN in tools.mk --- scripts/tools.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/tools.sh b/scripts/tools.sh index 6b75631..4de1eda 100644 --- a/scripts/tools.sh +++ b/scripts/tools.sh @@ -16,6 +16,7 @@ OS=$(uname -o) cat <