diff --git a/tools/add.C b/tools/add.C index 64a243b9ed..9e1f9bf5aa 100644 --- a/tools/add.C +++ b/tools/add.C @@ -102,6 +102,10 @@ void add_app() { void add_platform() { int retval; + if (!user_friendly_name) { + fprintf( stderr, "User friendly name not specified.\n" ); + exit(1); + } if (!platform_name) { fprintf( stderr, "Platform name not specified.\n" ); exit(1);