delete-output-file ( name -- )

Vocabulary

build-from-source

Inputs

name

an object

Outputs

None

Definition

USING: io.directories io.pathnames ;

IN: build-from-source

: delete-output-file ( name -- )
    get-out-directory prepend-path ?delete-file ;