diff --git a/debian/postinst-monoaot b/debian/postinst-monoaot index ae6eeab936..451a4e34b4 100644 --- a/debian/postinst-monoaot +++ b/debian/postinst-monoaot @@ -1,6 +1,6 @@ if [ "$1" = "configure" ] then - MONOARCH=`mono --version | grep Architecture | sed 's/.*: //'` + MONOARCH=`mono --version | grep Architecture | sed 's/.*: //' | sed 's/el,.*//'` mkdir -p /usr/lib/mono/aot-cache/${MONOARCH}/ /usr/bin/mono --aot=outfile=/usr/lib/mono/aot-cache/${MONOARCH}/`basename #FILE#.so` -O=all,shared #FILE# > /dev/null 2>&1 || true fi diff --git a/debian/prerm-monoaot b/debian/prerm-monoaot index aff8cb2a50..21fedda645 100644 --- a/debian/prerm-monoaot +++ b/debian/prerm-monoaot @@ -1 +1 @@ -rm -f /usr/lib/mono/aot-cache/`mono --version | grep Architecture | sed 's/.*: //'`/`basename #FILE#` +rm -f /usr/lib/mono/aot-cache/`mono --version | grep Architecture | sed 's/.*: //' | sed 's/el,.*//'`/`basename #FILE#`