diff options
Diffstat (limited to 'desktop/source/deployment/makefile.mk')
| -rw-r--r-- | desktop/source/deployment/makefile.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/desktop/source/deployment/makefile.mk b/desktop/source/deployment/makefile.mk index 6d83a5c1004b..ce494b449608 100644 --- a/desktop/source/deployment/makefile.mk +++ b/desktop/source/deployment/makefile.mk @@ -30,7 +30,6 @@ PRJ = ..$/.. PRJNAME = desktop TARGET = deployment ENABLE_EXCEPTIONS = TRUE -#USE_DEFFILE = TRUE NO_BSYMBOLIC = TRUE .IF "$(GUI)"=="OS2" |