diff options
Diffstat (limited to 'tools/misc')
| -rw-r--r-- | tools/misc/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/misc/Makefile.in b/tools/misc/Makefile.in index 4c62818..435f9b5 100644 --- a/tools/misc/Makefile.in +++ b/tools/misc/Makefile.in @@ -328,7 +328,9 @@ MKDIR_P = @MKDIR_P@ MPE = @MPE@ MPI_GET_SIZE = @MPI_GET_SIZE@ MYAXE_LIBS = @MYAXE_LIBS@ +MYDAOS_POSIX_LIBS = @MYDAOS_POSIX_LIBS@ MYIOD_LIBS = @MYIOD_LIBS@ +MYPLFS_LIBS = @MYPLFS_LIBS@ NM = @NM@ NMEDIT = @NMEDIT@ OBJDUMP = @OBJDUMP@ |