From 42ef6afd8b1bbb7d03e28ec580d3df736db7c70a Mon Sep 17 00:00:00 2001 From: Wolfgang Sourdeau Date: Fri, 5 Oct 2012 10:14:55 -0400 Subject: [PATCH] Silenced errors and warnings regarding missing extensions --- UI/WebServerResources/GNUmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/UI/WebServerResources/GNUmakefile b/UI/WebServerResources/GNUmakefile index dcd195716..f50288821 100644 --- a/UI/WebServerResources/GNUmakefile +++ b/UI/WebServerResources/GNUmakefile @@ -2,7 +2,7 @@ include ../common.make -WEBSERVER_RESOURCE_FILES = $(shell ls *css *ico *js *gif *png *html *txt) +WEBSERVER_RESOURCE_FILES = $(shell ls *css *ico *js *gif *png *html *txt >/dev/null 2>&1) all ::