diff options
author | Javier Jardón <jjardon@gnome.org> | 2017-11-26 23:39:48 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2017-12-12 15:58:23 +0000 |
commit | 7df7f3b427739ff7d69da2ba218da0124822892c (patch) | |
tree | 843c75e9bede53862ab101d6a7bcd1da15a33c55 /strata/privileges-management | |
parent | 7aad5150f69da42b84994c353283db5daf8e967f (diff) | |
download | definitions-7df7f3b427739ff7d69da2ba218da0124822892c.tar.gz |
Remove all .morph files and files from the old format
Diffstat (limited to 'strata/privileges-management')
-rw-r--r-- | strata/privileges-management/mozjs17.morph | 18 | ||||
-rw-r--r-- | strata/privileges-management/polkit.morph | 11 |
2 files changed, 0 insertions, 29 deletions
diff --git a/strata/privileges-management/mozjs17.morph b/strata/privileges-management/mozjs17.morph deleted file mode 100644 index 968bfcc8..00000000 --- a/strata/privileges-management/mozjs17.morph +++ /dev/null @@ -1,18 +0,0 @@ -name: mozjs17 -kind: chunk -build-system: manual -configure-commands: -- | - cd js/src; - ./configure --prefix="$PREFIX" \ - --sysconfdir=/etc \ - --with-system-nspr \ - --with-system-ffi \ - --enable-threadsafe -build-commands: -- | - cd js/src; - make -install-commands: -- cd js/src; - make DESTDIR="$DESTDIR" install diff --git a/strata/privileges-management/polkit.morph b/strata/privileges-management/polkit.morph deleted file mode 100644 index 6b961600..00000000 --- a/strata/privileges-management/polkit.morph +++ /dev/null @@ -1,11 +0,0 @@ -name: polkit -kind: chunk -build-system: autotools -max-jobs: 1 -configure-commands: -- ./autogen.sh --prefix="$PREFIX" --sysconfdir=/etc --disable-man-pages --disable-gtk-doc --enable-libsystemd-login=yes -system-integration: - polkit-misc: - 00-add-polkitd-user: - - groupadd -fg 27 polkitd - - useradd -c "PolicyKit Daemon Owner" -d /etc/polkit-1 -u 27 -g polkitd -s /bin/false polkitd |