-# Copyright 2014-2016 Free Software Foundation, Inc.
+# Copyright 2014-2023 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
}
if ![runto_main] {
- fail "can't run to main"
return 0
}