# # # delete "platform.hh" # # rename "work.cc" # to "play.cc" # # add_dir "freddy" # # add_file "script2" # content [cd89bae8485ee5a3532bb35c764ef43239098af8] # # patch "options.cc" # from [e89af04e97c53b86bbfff144e567a6bfd7535357] # to [4b4e070919a897c989788b825f477d9683c5bcc3] # # clear "script1" # attr "mtn:execute" # # set "script2" # attr "mtn:execute" # value "true" # ============================================================ --- script2 cd89bae8485ee5a3532bb35c764ef43239098af8 +++ script2 cd89bae8485ee5a3532bb35c764ef43239098af8 @@ -0,0 +1,3 @@ +#!/bin/sh +ls -la +exit 0 ============================================================ --- options.cc e89af04e97c53b86bbfff144e567a6bfd7535357 +++ options.cc 4b4e070919a897c989788b825f477d9683c5bcc3 @@ -15,15 +15,6 @@ using std::string; using std::set; using std::string; -using option::bad_arg_internal; - -template -bool has_arg() { return true; } -template<> -bool has_arg() { return false; } - - - std::map > & options::children() {