Skip to content

Commit

Permalink
Makefile: Don't fail remove when extension isn't installed
Browse files Browse the repository at this point in the history
Currently `make remove` fails if the extension isn't installed, but it
makes more sense for the removal operation to just succeed quietly if the
extension isn't there.

Fixes #102
  • Loading branch information
mgalgs committed Nov 20, 2024
1 parent 22652d1 commit 5dc3d08
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ install: remove build
remove:
$(call msg,$@,$(SUDO) $(INSTALLBASE)/$(INSTALLNAME))
ifeq ($(strip $(BUILD_FOR_RPM)),)
$(Q) gnome-extensions uninstall $(UUID)
$(Q) gnome-extensions uninstall --quiet $(UUID) || true
endif
$(call msg,$@,OK)

Expand Down

0 comments on commit 5dc3d08

Please sign in to comment.