diff --git a/hphp/hhvm/main.cpp b/hphp/hhvm/main.cpp index 137cc0b86..74362a65c 100644 --- a/hphp/hhvm/main.cpp +++ b/hphp/hhvm/main.cpp @@ -31,10 +31,13 @@ int main(int argc, char** argv) { return HPHP::execute_program(argc, argv); } std::vector args; - args.insert(args.begin(), argv, argv + argc); + args.push_back(argv[0]); args.push_back("-vRepo.Authoritative=true"); args.push_back("-vRepo.Local.Mode=r-"); repo = "-vRepo.Local.Path=" + repo; args.push_back(const_cast(repo.c_str())); + if (argc > 1) { + args.insert(args.end(), argv + 1, argv + argc); + } return HPHP::execute_program(args.size(), &args[0]); }