diff options
| author | Tonu Naks <naks@adacore.com> | 2024-12-10 10:41:16 +0000 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-01-06 10:14:48 +0100 |
| commit | 75e126db1e5c08261e3fb9fd0b831403c094d1f1 (patch) | |
| tree | 2ee448ddf65bc42334de7a8bc8bdf3ee5fbe3df6 /gcc | |
| parent | 798873d25644bd6c45856dd84d894f9921b5feec (diff) | |
| download | gcc-75e126db1e5c08261e3fb9fd0b831403c094d1f1.zip gcc-75e126db1e5c08261e3fb9fd0b831403c094d1f1.tar.gz gcc-75e126db1e5c08261e3fb9fd0b831403c094d1f1.tar.bz2 | |
ada: Declare that the new argument may not be used
gcc/ada/ChangeLog:
* adaint.c (__gnat_locate_exec_on_path): modify function signature
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/adaint.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c index 0459956..b906ac0 100644 --- a/gcc/ada/adaint.c +++ b/gcc/ada/adaint.c @@ -3079,7 +3079,8 @@ __gnat_locate_exec (char *exec_name, char *path_val) /* Locate an executable using the Systems default PATH. */ char * -__gnat_locate_exec_on_path (char *exec_name, int current_dir_on_windows) +__gnat_locate_exec_on_path (char *exec_name, + int current_dir_on_windows ATTRIBUTE_UNUSED) { char *apath_val; @@ -3110,10 +3111,6 @@ __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 |