copy-output-file ( name -- )

Vocabulary

build-from-source

Inputs

name

an object

Outputs

None

Definition

USING: io.directories ;

IN: build-from-source

: copy-output-file ( name -- )
    prepend-current-path get-out-directory copy-file-into ;