diff options
Diffstat (limited to 'compute_scripts.awk')
| -rwxr-xr-x | compute_scripts.awk | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compute_scripts.awk b/compute_scripts.awk index 6235e19..bf1b08e 100755 --- a/compute_scripts.awk +++ b/compute_scripts.awk @@ -370,9 +370,6 @@ function if_condition_true(directive_args, path, function include_file(root_path, read_path, included_path, line, verbatim, read_line, result) { - if (validate_path(read_path, included_path, line)) - return 1 - if (included_path in reading) { printf "ERROR: Inclusion loop when including %s in %s\n", included_path, read_path > "/dev/stderr" |