diff options
Diffstat (limited to 'org/default_paths.org')
| -rw-r--r-- | org/default_paths.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org/default_paths.org b/org/default_paths.org index b9c9ce6..4b996bc 100644 --- a/org/default_paths.org +++ b/org/default_paths.org @@ -78,7 +78,7 @@ template PodManifest() { _manifest_path = m.captures["podpath"]; } } else { - if (_opt_action.verbose || _opt_action.very_verbose || _opt_action.debug_do) { + if (_opt_action.vox_gt1 || _opt_action.debug_do) { writeln("WARNING, src is not a pod, issue with manifest_path: ", _pth); // remove? unless can distinguish pod } _manifest_path = ""; |