4b788c8 Update Makefile for JShelter

Authored and Committed by Libor Polčák 2 years ago
    Update Makefile for JShelter
    
    The extension is built in the build/ directory
    
        
file modified
+1 -2
file modified
+21 -21