[repo] add trailing slash to DESTDIR if not specified

Author: mateoconlechuga

.github/workflows/branch.yml

@@ -133,7 +133,7 @@ jobs:
       - name: Install Toolchain
         env:
           PREFIX: ${{github.workspace}}
-        run: make -j4 -C ${{env.TOOLCHAIN_PATH}} install V=1 DESTDIR=${{github.workspace}}/
+        run: make -j4 -C ${{env.TOOLCHAIN_PATH}} install V=1 DESTDIR=${{github.workspace}}
 
       - name: Make Binaries Executable
         if: runner.os != 'Windows'

.github/workflows/make.yml

@@ -136,7 +136,7 @@ jobs:
       - name: Install Toolchain
         env:
           PREFIX: ${{github.workspace}}
-        run: make -j4 -C ${{env.TOOLCHAIN_PATH}} install V=1 DESTDIR=${{github.workspace}}/
+        run: make -j4 -C ${{env.TOOLCHAIN_PATH}} install V=1 DESTDIR=${{github.workspace}}
 
       - name: Make Binaries Executable
         if: runner.os != 'Windows'

src/common.mk

@@ -75,7 +75,7 @@ RELEASE_NAME = linux
 endif
 endif
 
-INSTALL_DIR := $(DESTDIR)$(PREFIX)
+INSTALL_DIR := $(patsubst %/,%,$(DESTDIR))/$(PREFIX)
 INSTALL_PATH := $(call QUOTE_ARG,$(call NATIVEPATH,$(INSTALL_DIR)))
 INSTALL_EXAMPLES := $(call QUOTE_ARG,$(call NATIVEPATH,$(INSTALL_DIR)/examples))
 INSTALL_LIB := $(call QUOTE_ARG,$(call NATIVEPATH,$(INSTALL_DIR)/lib/libload))