From 2a2ffe41dd445be2c7d29b0ff35c92d8a5257267 Mon Sep 17 00:00:00 2001 From: Xiang Xiao Date: Fri, 22 May 2020 02:43:08 +0800 Subject: [PATCH] build: incdir.sh shouldn't check whether the path exist since compiler never complain that the path(by -I) doesn't exist Signed-off-by: Xiang Xiao --- tools/incdir.bat | 5 ----- tools/incdir.sh | 8 -------- 2 files changed, 13 deletions(-) diff --git a/tools/incdir.bat b/tools/incdir.bat index 81b5c6ef2e..45535560a0 100755 --- a/tools/incdir.bat +++ b/tools/incdir.bat @@ -98,11 +98,6 @@ if "%1" == "" ( goto :End ) -if not exist %1 ( - echo ERROR: Path %1 does not exist - goto :Usage -) - if "%fmt%"=="zds" goto :GenerateZdsPath if "%response%"=="" goto :FirstStdPath if "%pathtype%"=="system" goto :NextStdSystemPath diff --git a/tools/incdir.sh b/tools/incdir.sh index b6c8cc632b..d85ca5c734 100755 --- a/tools/incdir.sh +++ b/tools/incdir.sh @@ -191,14 +191,6 @@ fi unset response for dir in $dirlist; do - # Verify that the include directory exists - - if [ ! -d $dir ]; then - echo "Include path '$dir' does not exist" - echo $showusage - exit 1 - fi - # Check if the path needs to be extended for Windows-based tools under Cygwin # windows=yes: We are building for a windows platform # wintool=y: The platform is Cygwin and we are using a windows native tool