-# Copyright (C) 2004, 2007-2012 Free Software Foundation, Inc.
+# Copyright (C) 2004-2016 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
clean_restart ${binfile}
if ![runto_main] then {
- fail "Can't run to main"
- return 1;
+ fail "can't run to main"
+ return 1
}