Skip to content

Move Makefile#384

Open
Janmtbehrens wants to merge 203 commits intomainfrom
move-makefile-reldb
Open

Move Makefile#384
Janmtbehrens wants to merge 203 commits intomainfrom
move-makefile-reldb

Conversation

@Janmtbehrens
Copy link
Copy Markdown

Moving Makefile from /dev into root, for faster access to meta maketargets when debugging

Ralf Peschke and others added 30 commits February 7, 2024 18:53
Comment thread Makefile Outdated
docker compose -f dev/docker-compose.yml exec models bash --rcfile /etc/bash_completion

stop-dev:
docker compose down
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

will also need -f

Comment thread Makefile
@peb-adr
Copy link
Copy Markdown
Member

peb-adr commented Feb 13, 2026

After fixing, please merge at will.

@peb-adr peb-adr assigned Janmtbehrens and unassigned peb-adr Feb 13, 2026
Base automatically changed from feature/relational-db to main February 20, 2026 16:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants