diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2024-04-29 15:30:39 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2024-04-29 16:25:46 -0400 |
| commit | 37caa3d71fd8bb4d0d9204e4a2f5cac234fa25fd (patch) | |
| tree | af4dd493b89a17dfdce2957dac90f068decf1667 /.github/workflows/codeql.yml | |
| parent | b8ed989642b9f0f6c1301bcff6f1498935cbd81c (diff) | |
| download | bfs-37caa3d71fd8bb4d0d9204e4a2f5cac234fa25fd.tar.xz | |
build: Replace `make config` with a `./configure` script
This lets us do more traditional out-of-tree builds like
$ ../path/to/bfs/configure
$ make
The .mk files are moved from ./config to ./build, mostly so that
./configure will auto-complete easily.
Diffstat (limited to '.github/workflows/codeql.yml')
| -rw-r--r-- | .github/workflows/codeql.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index c21fda5..a0b8fe3 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -41,7 +41,7 @@ jobs: - name: Configure run: | - make -j$(nproc) config + ./configure - name: Initialize CodeQL uses: github/codeql-action/init@v3 |