|
|
|
|
717
|
echo "cd $INSTALL_DIR/toxic";
|
717
|
echo "cd $INSTALL_DIR/toxic";
|
718
|
echo "git checkout $TOXIC_COMMIT -b $TOXIC_COMMIT";
|
718
|
echo "git checkout $TOXIC_COMMIT -b $TOXIC_COMMIT";
|
719
|
echo "export DISABLE_DESKTOP_NOTIFY=$toxic_disable_notify";
|
719
|
echo "export DISABLE_DESKTOP_NOTIFY=$toxic_disable_notify";
|
720
|
- echo 'make';
|
|
|
721
|
- echo 'if [ ! "$?" = "0" ]; then';
|
|
|
|
|
720
|
+ echo 'if ! make; then';
|
722
|
echo ' exit 1';
|
721
|
echo ' exit 1';
|
723
|
echo 'fi';
|
722
|
echo 'fi';
|
724
|
echo 'make install';
|
723
|
echo 'make install';
|