make: add target in build names

diff --git a/make.py b/make.py
index d417fa001ac38c065d04c388717ef12813cab44a..43e4d293fa29b2c9908acf2fc86a394a06a26b9c 100755 (executable)
--- a/make.py
+++ b/make.py
@@ -81,7 +81,7 @@ if __name__ == "__main__":
        if args.external:
                platform.soc_ext_path = os.path.abspath(args.external)
 
-       build_name = top_class.__name__.lower() + "-" + platform_name
+       build_name = args.target + "-" + top_class.__name__.lower() + "-" + platform_name
        top_kwargs = dict((k, autotype(v)) for k, v in args.target_option)
        soc = top_class(platform, **top_kwargs)
        soc.finalize()