Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Makefile: timing-root: don't always create dir #242

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Makefile: timing-root: don't always create dir #242

wants to merge 1 commit into from

Commits on Jan 12, 2023

  1. Makefile: timing-root: don't always create dir 

    Don't always create the `dependencies/` directory, because the
`TIMING_ROOT` may not be in the current project.

Instead, create the `TIMING_ROOT` directory. If this does not exist,
then the `mkdir` will succeed. If it does exist, then this target will
not get run.

`git` will clone into an empty directory, so for most users this will
not change the flow at all.

This change prevents an empty `dependencies` directory from getting
created as part of `make setup`.

Signed-off-by: Sean Cross <[email protected]>
    @xobs
    xobs committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    5944c7a View commit details
    Browse the repository at this point in the history