summaryrefslogtreecommitdiff
path: root/compute_scripts.awk
diff options
context:
space:
mode:
Diffstat (limited to 'compute_scripts.awk')
-rwxr-xr-xcompute_scripts.awk3
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"