diff options
Diffstat (limited to 'server/Makefile.in')
| -rw-r--r-- | server/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/Makefile.in b/server/Makefile.in index 5bd893a..319c390 100644 --- a/server/Makefile.in +++ b/server/Makefile.in @@ -1,4 +1,4 @@ -SHELL = /bin/sh +SHELL=@SHELL@ prefix=@prefix@ exec_prefix=@exec_prefix@ |