diff options
| author | Christophe Simonis <chs@odoo.com> | 2018-06-21 12:18:40 +0200 |
|---|---|---|
| committer | Christophe Simonis <chs@odoo.com> | 2018-06-21 12:18:40 +0200 |
| commit | 68326b15f90b9b6d421593a85ee23546bd7e0e6d (patch) | |
| tree | 2e60717e7fd29d91b2a75060d9fd6ce053dae9de /debian | |
| parent | 512dab4500c827a54f17802220390f132faf63c4 (diff) | |
| parent | c5ed37297098c48bf6a89a2175127541ad1f5da3 (diff) | |
[MERGE] forward port branch 11.0 up to c5ed3729709
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/postrm | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/debian/postrm b/debian/postrm index 22f7211203f..274a488c1bf 100644 --- a/debian/postrm +++ b/debian/postrm @@ -10,9 +10,6 @@ case "${1}" in remove) deluser --quiet --system $ODOO_USER || true delgroup --quiet --system --only-if-empty $ODOO_GROUP || true - if [ -d "$ODOO_LIB_DIR" ]; then - rm -rf $ODOO_LIB_DIR - fi ;; purge) |