[ARVADOS-WORKBENCH2] updated: 1.4.2-4-g1952e4d9

[Git user]

Summary of changes:
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

       via  1952e4d960e845cbacb9a5d825a903e2112ab1ad (commit)
      from  1dabae1bef7c290699c59004248fc3bc8f52c53d (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 1952e4d960e845cbacb9a5d825a903e2112ab1ad
Author: Peter Amstutz <peter.amstutz at curii.com>
Date:   Sat Jan 4 16:52:35 2020 -0500

    Should be $(TARGETS)
    
    no issue #
    
    Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz at curii.com>

diff --git a/Makefile b/Makefile
index b81afda7..e70d8ad3 100644
--- a/Makefile
+++ b/Makefile
@@ -108,7 +108,7 @@ $(RPM_FILE): build
 	 $(WORKSPACE)/build/=$(DEST_DIR)
 
 copy: $(DEB_FILE) $(RPM_FILE)
-	for target in $TARGETS ; do \
+	for target in $(TARGETS) ; do \
 	        mkdir -p packages/$$target
 		if [[ $$target =~ ^centos ]]; then
 			cp -p $(RPM_FILE) packages/$$target ; \

-----------------------------------------------------------------------


hooks/post-receive
--