mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 19:26:29 +00:00
depot: preserve timestamps in src/bash
This commit is contained in:
parent
593fe2a571
commit
bd18152d32
@ -4,8 +4,8 @@ PORT_DIR := $(call port_dir,$(REP_DIR)/ports/bash)
|
||||
|
||||
src/noux-pkg/bash:
|
||||
mkdir -p $@
|
||||
cp -r $(PORT_DIR)/src/noux-pkg/bash/* $@
|
||||
cp -r $(REP_DIR)/src/noux-pkg/bash/* $@
|
||||
cp -a $(PORT_DIR)/src/noux-pkg/bash/* $@
|
||||
cp -a $(REP_DIR)/src/noux-pkg/bash/* $@
|
||||
|
||||
LICENSE:
|
||||
cp $(PORT_DIR)/src/noux-pkg/bash/COPYING $@
|
||||
|
Loading…
Reference in New Issue
Block a user