Split PREFIX in install.sh #2
	
		Labels
		
	
	
	
	
	
		No milestone
		
			
		
	
	No project
	
		
	
	
	
	
		No assignees
		
	
	
	
	
		1 participant
	
	
		
		
	Notifications
	
		
	
	
	
	
	Due date
No due date set.
	
		Dependencies
		
		
	
	
	No dependencies set.
		Reference: pheerai/pizza#2
		
	
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue
	
	
	No description provided.
		
		Delete branch "%!s()"
	 
	Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
in commit
3083b8255PREFIX is set for both bin- and include-directory.It would be nicer to be able to provide two separate variables for those.