mirror of
https://github.com/gbdev/rgbds.git
synced 2025-11-24 12:02:08 +00:00
Warn when a duplicate CLI argument overrides a previous one (#1053)
Fixes #1050
This commit is contained in:
@@ -540,7 +540,9 @@ void out_WriteObject(void)
|
||||
// Set the objectfilename
|
||||
void out_SetFileName(char *s)
|
||||
{
|
||||
if (objectName)
|
||||
warnx("Overriding output filename %s", objectName);
|
||||
objectName = s;
|
||||
if (verbose)
|
||||
printf("Output filename %s\n", s);
|
||||
printf("Output filename %s\n", objectName);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user