diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2017-07-11 14:11:54 -0500 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2017-07-11 14:12:27 -0500 |
commit | 1278ff899409025692d6915421f1af1c99dc837e (patch) | |
tree | 80b8c11d2895a80594a3fcbfb96c41234dfe1f64 /tools/upbc.lua | |
parent | 717a030083cad1c2644d1d32f3284bd7a461b392 (diff) |
Responded to PR comments.
Diffstat (limited to 'tools/upbc.lua')
-rw-r--r-- | tools/upbc.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/upbc.lua b/tools/upbc.lua index bf9a68d..bfd93f8 100644 --- a/tools/upbc.lua +++ b/tools/upbc.lua @@ -18,6 +18,10 @@ for _, argument in ipairs(arg) do if argument == "--generate-upbdefs" then generate_upbdefs = true else + if src then + print("upbc can only handle one input file at a time.") + return 1 + end src = argument end end |