Skip to content
Snippets Groups Projects
Commit 3829c194 authored by Emmanuel Milou's avatar Emmanuel Milou
Browse files

[#30360] make distclean not needed

parent 62fefd0a
No related branches found
No related tags found
No related merge requests found
...@@ -151,7 +151,7 @@ function build_gnome { ...@@ -151,7 +151,7 @@ function build_gnome {
# Compile the plugins # Compile the plugins
pushd plugins pushd plugins
make distclean #make distclean
./autogen.sh || exit 1 ./autogen.sh || exit 1
./configure --prefix=/usr ./configure --prefix=/usr
make -j make -j
...@@ -159,7 +159,7 @@ function build_gnome { ...@@ -159,7 +159,7 @@ function build_gnome {
# Compile the client # Compile the client
pushd gnome pushd gnome
make distclean #make distclean
./autogen.sh || exit 1 ./autogen.sh || exit 1
./configure --prefix=/usr ./configure --prefix=/usr
make clean make clean
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment