diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-02-16 12:13:18 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-02-16 12:13:45 +0000 |
commit | 2979038a979743cdb88bc87c5e9bb69e37de0f4d (patch) | |
tree | 036c1113c7d450f2b67237044c8d5b9ced3eb3b8 | |
parent | c5291b1a17c411916986548d96b29bcef985fb0d (diff) | |
download | definitions-2979038a979743cdb88bc87c5e9bb69e37de0f4d.tar.gz |
Remove unused strata/gnome/gnulib.morph
Change-Id: I215a9528e49eb2de89906c70824960ed4423877f
-rw-r--r-- | strata/gnome/gnulib.morph | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/strata/gnome/gnulib.morph b/strata/gnome/gnulib.morph deleted file mode 100644 index f1837c94..00000000 --- a/strata/gnome/gnulib.morph +++ /dev/null @@ -1,8 +0,0 @@ -name: gnulib -kind: chunk -build-system: manual -pre-configure-commands: -- mkdir -p "$DESTDIR$PREFIX"/share/gnulib -- cp -r * "$DESTDIR$PREFIX"/share/gnulib -- mkdir -p "$DESTDIR$PREFIX"/bin -- ln -s "$DESTDIR$PREFIX"/share/gnulib/gnulib-tool "$DESTDIR$PREFIX"/bin/gnulib-tool |