diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c index 0b6d4bb6b4e575bd5d8a7f7a33b19f95f6044573..0459956ff5baf63b09417cf21d94fb3902f6fd42 100644 --- a/gcc/ada/adaint.c +++ b/gcc/ada/adaint.c @@ -3110,6 +3110,10 @@ __gnat_locate_exec_on_path (char *exec_name, int current_dir_on_windows) } #else + /* Tell the compiler that we are not going to use this parameter + on non-windows platforms. */ + (void)current_dir_on_windows; + const char *path_val = getenv ("PATH"); /* If PATH is not defined, proceed with __gnat_locate_exec anyway, so we can