| Index: tools/test.py
|
| diff --git a/tools/test.py b/tools/test.py
|
| index c1840bb428803f36ee3727da4b325d0bb487c5bc..fb0939170605edbacdfba8735239bf1e2a8282c2 100755
|
| --- a/tools/test.py
|
| +++ b/tools/test.py
|
| @@ -1229,6 +1229,8 @@ def BuildOptions():
|
| default=1, type="int")
|
| result.add_option("--noprof", help="Disable profiling support",
|
| default=False)
|
| + result.add_option("--hardfloat", help="use hardware floating point ABI",
|
| + default=False, action="store_true")
|
| return result
|
|
|
|
|
| @@ -1271,6 +1273,11 @@ def ProcessOptions(options):
|
| if options.noprof:
|
| options.scons_flags.append("prof=off")
|
| options.scons_flags.append("profilingsupport=off")
|
| + if options.hardfloat:
|
| + if options.special_command:
|
| + options.special_command += " --hardfloat"
|
| + else:
|
| + options.special_command = "@--hardfloat"
|
| return True
|
|
|
|
|
|
|