Skip to content

Update Makefile.inc#12

Open
nicoverduin wants to merge 1 commit intowovo:masterfrom
nicoverduin:master
Open

Update Makefile.inc#12
nicoverduin wants to merge 1 commit intowovo:masterfrom
nicoverduin:master

Conversation

@nicoverduin
Copy link

Zorgen dat deze file alleen werkt onder WSL. Nu komt er een storende boodschap onder Windows gebruikers dat hun programma GREP niet kan vinden en dat klopt.
Het veroorzaakt verder gene storing en bij een volgende installatie zijn de studenten er vanaf

Zorgen dat deze file alleen werkt onder WSL. Nu komt er een storende boodschap onder Windows gebruikers dat hun programma GREP niet kan vinden en dat klopt.
@nicoverduin nicoverduin reopened this Apr 17, 2021
VERSION := V05_00_work_in_progress_2021_01_04
WSL := $(strip $(shell grep -qE "(microsoft|Microsoft|WSL)" /proc/version @> /dev/null && printf true))
ifeq ($(WSL),true)
WSL := $(strip $(shell grep -qE "(microsoft|Microsoft|WSL)" /proc/version @> /dev/null && printf true))
Copy link
Contributor

Choose a reason for hiding this comment

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

Dit wordt op deze manier nooit uitgevoerd, tenzij $WSL al op true staat - maar in dat geval heeft het herdefiniëren weinig zin, toch?

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.

2 participants