diff options
Diffstat (limited to 'sys/tools/vnode_if.awk')
| -rw-r--r-- | sys/tools/vnode_if.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index e0aebbb..53236e5 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -195,12 +195,12 @@ line: while (<SRC>) { # kill trailing ; if ($ln !~ s/;$//) { - &bail("Missing end-of-line ; in \"$ln\"."); + die("Missing end-of-line ; in \"$ln\"."); } # pick off variable name if ($ln !~ s/([A-Za-z0-9_]+)$//) { - &bail("Missing var name \"a_foo\" in \"$ln\"."); + die("Missing var name \"a_foo\" in \"$ln\"."); } my $arg = $1; |
