Merge pull request #2891 from SunSerega/search-dir-err

Ошибка для неправильных путей "/SearchDir"
This commit is contained in:
Ivan Bondarev 2023-07-02 10:21:06 +02:00 committed by GitHub
commit eaac215e3b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
// Copyright (c) Ivan Bondarev, Stanislav Mikhalkovich (for details please see \doc\copyright.txt)
// Copyright (c) Ivan Bondarev, Stanislav Mikhalkovich (for details please see \doc\copyright.txt)
// This code is distributed under the GNU LGPL (for details please see \doc\license.txt)
using System;
using PascalABCCompiler.Errors;
@ -91,6 +91,11 @@ namespace PascalABCCompiler
return true;
case "searchdir":
if (!Directory.Exists(value))
{
Console.WriteLine($"SearchDir \"{value}\" not found relative to \"{Environment.CurrentDirectory}\"");
return false;
}
co.SearchDirectory.Insert(0, value); // .Insert, чтобы определённые пользователем папки имели бОльший приоритет, чем стандартная
return true;